#include "hardware.h"

configuration PlatformLedsC {
  provides interface GeneralIO as Led0;
  provides interface GeneralIO as Led1;
  provides interface GeneralIO as Led2;
  provides interface GeneralIO as Led3;
  provides interface GeneralIO as Led4;
 uses interface Init;
}
implementation
{
 components
     HplMsp430GeneralIOC as GeneralIOC
   , new Msp430GpioC() as Led0Impl
   , new Msp430GpioC() as Led1Impl
   , new Msp430GpioC() as Led2Impl
   , new Msp430GpioC() as Led3Impl
   , new Msp430GpioC() as Led4Impl
   ;
 components PlatformP;

 Init = PlatformP.LedsInit;

 Led0 = Led0Impl;
 Led0Impl -> GeneralIOC.Port53;

 Led1 = Led1Impl;
 Led1Impl -> GeneralIOC.Port54;

 Led2 = Led2Impl;
 Led2Impl -> GeneralIOC.Port55;

 Led3 = Led3Impl;
 Led3Impl -> GeneralIOC.Port56;

 Led4 = Led4Impl;
 Led4Impl -> GeneralIOC.Port57;

}